Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
641	Journal on Satisfiability, Boolean Modeling and Computation[removed]Complexity of Semialgebraic Proofs with Restricted Degree of Falsity∗† Edward A. Hirsch Arist Kojevnikov Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2008-11-12 04:43:46 Mathematical logic Logic in computer science Computational complexity theory Proof complexity Function Mathematical proof Resolution Inequality Mathematics Theoretical computer science Automated theorem proving
642	A Non-commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger Technische Universit¨at Dresden Fakult¨ at Informatik[removed]Dresden - Germany [removed] and Lutz.Strassburger@Inf. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2005-12-02 04:44:23 Propositional calculus Substructural logic Logical truth Automated theorem proving Natural deduction Noncommutative logic Cut-elimination theorem Sequent calculus Sequent Logic Mathematical logic Proof theory
643	Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:40 Theoretical computer science Formal methods Proof theory Logical syntax Logical truth Mathematical proof Isabelle Proof assistant IsaPlanner Logic Automated theorem proving Mathematics
644	Why3: Shepherd Your Herd of Provers? Fran¸cois Bobot1,2 , Jean-Christophe Filliˆatre1,2 , Claude March´e2,1 , and Andrei Paskevich1,2 1 Lab. de Recherche en Informatique, Univ Paris-Sud, CNRS, Orsay, F-91405 Add to Reading List Source URL: proval.lri.fr Language: English - Date: 2011-06-30 04:33:49 Formal methods Model theory Automated theorem proving Functional languages First-order logic Well-formed formula Functional predicate Proof assistant ML Logic Mathematical logic Mathematics
645	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: de.metamath.org Language: English - Date: 2014-06-27 17:40:55 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics
646	Metamath A Computer Language for Pure Mathematics Norman Megill ∼ Public Domain ∼ Add to Reading List Source URL: de.metamath.org Language: English - Date: 2014-06-27 17:40:55 Formal methods Logical syntax Formal languages Metamath Set theory Automated proof checking Axiom Automated theorem proving First-order logic Logic Mathematics Mathematical logic
647	The Hob System for Verifying Software Design Properties by Patri k Lam Submitted to the Department of Ele tri al Engineering and Computer Add to Reading List Source URL: 21w.ca Language: English - Date: 2014-02-12 18:13:43
648	The IMPS Bibliography William M. Farmer∗ Joshua D. Guttman† Computing and Software Add to Reading List Source URL: imps.mcmaster.ca Language: English - Date: 2012-03-27 15:38:49 Computer science Logic in computer science Formal methods Artificial intelligence Automated reasoning Conference on Automated Deduction International Joint Conference on Automated Reasoning Theoretical computer science Applied mathematics Automated theorem proving
649	Applications of Feasible Path Analysis to Program Testing Allen Goldberg, T.C. Wang, David Zimmerman* Kestrel Institute 3260 Hillview Avenue Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:07 Mathematical logic Automated theorem proving Formal methods Metalogic KeY Resolution First-order logic Model theory Well-formed formula Logic Mathematics Theoretical computer science